This week's milestones in the history of technology include the invention of the telephone, automating telephone exchanges and textile weaving, and the idea of searching for information through associative links. The first-ever nationally televised awards ceremony devoted to the Internet is broadcast. U.S. patent 174,465 for "Improvement in telegraphy" is issued to 29-year-old Alexander Graham Bell. This was the patent for his invention of the telephone, covering "the method of, and apparatus for, transmitting vocal or other sounds telegraphically ... by causing electrical undulations, similar in form to the vibrations of the air accompanying the said vocal or other sound." E-book publisher Rosetta Books wins the lawsuit brought against it by Random House for acquiring titles directly from authors.

The Jobs Puzzle, introduced in a book about automated reasoning, is a logic puzzle solvable by some "intelligent sixth graders," but the formalization of the puzzle by the authors was, according to them, "sometimes difficult and sometimes tedious." The puzzle thus presents a triple challenge: 1) formalize it in a non-difficult, non-tedious way; 2) formalize it in a way that adheres closely to the English statement of the puzzle; 3) have an automated general-purpose commonsense reasoner that can accept that formalization and solve the puzzle quickly. In this paper, I present and discuss three formalizations that are less difficult and less tedious than the original. However, none satisfy all three requirements as well as might be desired, and there are a significant number of automated reasoners that cannot solve the puzzle using any of the formalizations. So the Jobs Puzzle remains an interesting challenge.